701. Mathematical foundations of programming language semantics : 3rd workshop, Tulane University, New Orleans, Louisiana, USA, April 8-10, 1987 : proceedings
پدیدآورنده :
کتابخانه: Central Library of Sharif University of Technology (Tehran)
موضوع : ، Programming languages )Electronic computers(-- Semantics-- Congresses,، Computer science-- Mathematics-- Congresses
رده :
QA
76
.
7
.
M378
1988
702. Mathematical foundations of programming semantics :
پدیدآورنده : M. Main, A. Melton, M. Mislove ... [et al.], eds.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Computer science -- Mathematics -- Congresses.,Programming languages (Electronic computers) -- Semantics -- Congresses.,sémantique programme.
رده :
QA76
.
7
M535
1990
703. Mathematical foundations of programming semantics : International Coference, Kansas, April 11-12, 1985: Proceedings
پدیدآورنده : edited by Austin Melton
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : Semantics -- Congresses ، Programming languages )Electronic computers(,Congresses ، Computer programming
رده :
QA
76
.
L28
Vol
.
239
704. Mathematical foundations of programming semantics : 5th International Conference, Tulane University, New Orleans, Louisiana, USA, March 29-April 1, 1989 : proceedings
پدیدآورنده : M. Main...]et al.[, )eds.(
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : Semantics -- Congresses ، Programming languages )Electronic computers(,Congresses ، Computer science -- Mathematics
رده :
QA
76
.
L28
Vol
.
442
705. Mathematical foundations of programming semantics : 5th international conference, Tulane University, New Orleans, Louisiana, USA, March 29-April 1, 1989 : proceedings
پدیدآورنده :
کتابخانه: Central Library of Sharif University of Technology (Tehran)
موضوع : ، Programming languages )Electronic computers(-- Sematics-- Congresses,، Computer science-- Mathematics-- Congresses
رده :
QA
76
.
7
.
M38
1990
706. Mathematical theory of computation
پدیدآورنده :
کتابخانه: University of Tabriz Library, Documentation and Publication Center (East Azarbaijan)
موضوع : Electronic digital computers - Programming,Debugging in computer science
رده :
QA76
.
6
.
M356
707. Mathematical theory of computation
پدیدآورنده : Manna, Zohar
موضوع : ، Electronic digital computers -- Programming,، Debugging in computer science
۲ نسخه از این کتاب در ۲ کتابخانه موجود است.
708. Mathematical theory of computation
پدیدآورنده : Manna, Zohar.
کتابخانه: Central Library and Documentation Center (Kerman)
موضوع : ، Electronic digital computers - Programming,، Debugging in computer science
رده :
QA
76
.
6
.
M356
709. Mathematical theory of computation
پدیدآورنده : / Zohar Manna
کتابخانه: Central Library and Archive Center of shahid Beheshti University (Tehran)
موضوع : Electronic digital computers - Programming,Debugging in computer science
رده :
001
.
6425
M282
710. Mathematics for computer programmers
پدیدآورنده : Kay, Christine Benedyk
کتابخانه: Central Library and Documents Center of Industrial University of Khaje Nasiredin Toosi (Tehran)
موضوع : ، Computer science- Mathematics,، Electronic digital computers- Programming
رده :
QA
76
.
9
.
M35
K38
711. Mathematics for the analysis of algorithms
پدیدآورنده : Greene, Daniel H.
موضوع : ، Electronic digital computers-- Programming,، Computer algorithms
۲ نسخه از این کتاب در ۲ کتابخانه موجود است.
712. Mathematics of program construction
پدیدآورنده : Ronald Back house Jose Nuno oliveria
کتابخانه: Vali Asr University Central Library (Kerman)
موضوع : Electronic digital computers-programming-congresses,computer science-mathematics-congresses
رده :
QA
76
.
6
.
M2
2000
713. Mathematics of program construction : Second International Conference, Oxford, U.K., June 29-July 3, 1992 : proceedings
پدیدآورنده :
کتابخانه: Central Library of Sharif University of Technology (Tehran)
موضوع : ، Electronic digital computers-- Programming-- Congresses,، Computer science-- Mathematics-- Congresses
رده :
QA
76
.
6
.
M367
1993
714. Mathematics of program construction : second international conference, Oxford, U.K., June/July 1992 : proceedings
پدیدآورنده : R.S. Bird, C.C. Morgan, J.C.P. Woodcock, eds
کتابخانه: Central Library and Documentation Center (Kerman)
موضوع : Congresses ، Electronic digital computers - Programming,Congresses ، Computer science - Mathematics
رده :
QA
76
.
L4
v
.
669
715. Mathematics of program construction : second international conference, Oxford, U.K., June 29-July 3, 1992 : proceedings
پدیدآورنده : R.S. Bird, C.C. Morgan, J.C.P. Woodcock, eds
کتابخانه: Central Library of Amirkabir University of Technology (Tehran)
موضوع : Electronic digital computers - Programming - Congresses , Computer science - Mathematics - Congresses
رده :
QA
76
.
6
.
M367
1992
716. Mathematics of program construction : 375th anniversary of the Groningen University : international conference, Groningen, The Netherlands, June 26-30, 1989 : proceedings
پدیدآورنده :
کتابخانه: Central Library of Sharif University of Technology (Tehran)
موضوع : ، Electronic digital computers-- Programming-- Congresses,، Computer science-- Mathematics-- Congresses
رده :
QA
76
.
6
.
M366
1989
717. Meta - Levels Architectures and Reflection
پدیدآورنده : Edited by Patie MAES, Daniele NARDI
کتابخانه: Central Library and Information Center of Shahed University (Tehran)
موضوع : Programming languages (electronic computers),Artificial Intelligence,Expert systems (computer science)
رده :
QA
،
76
.
7
،.
M48
،
1988
718. Meta-level architectures and reflection
پدیدآورنده : edited by Pattie Maes, Daniel Nardi
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : ، Programming languages )Electronic computers(,، Artificial intelligence,، Expert systems )Computer science(
رده :
QA
76
.
7
.
M48
1988
719. MetaSoft primer :
پدیدآورنده : Andrzej Blikle.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Computer software-- Development.,Metalanguage.,Programming languages (Electronic computers)-- Semantics.
رده :
QA76
.
7
.
B57
1987
720. MetaSoft primer : towards a metalanguage for applied denotational semantics
پدیدآورنده : Blikle, Andrzej
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : ، Programming languages )Electronic computers( -- Semantics,، Metalanguage,، Computer software -- Development
رده :
QA
76
.
L28
Vol
.
288
